An alternative approach for quasi-truth
نویسندگان
چکیده
In 1986, I. Mikenberg, N. da Costa and R. Chuaqui introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present paper, the notion of predicates-as-triples is recursively extended, in a natural way, to any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by W. Carnielli and J. Marcos in 2001.
منابع مشابه
“Stop, You’re Killing us!” An Alternative Take on Populism and Public Health; Comment on “The Rise of Post-truth Populism in Pluralist Liberal Democracies: Challenges for Health Policy”
Ewen Speed and Russell Mannion correctly identify several contours of the challenges for health policy in what it is useful to think of as a post-democratic era. I argue that the problem for public health is not populism per se, but rather the distinctive populism of the right coupled with the failure of the left to develop compelling counternarratives. Further, defences of ‘science’ must be te...
متن کاملPopulism, Exclusion, Post-truth. Some Conceptual Caveats; Comment on “The Rise of Post-truth Populism in Pluralist Liberal Democracies: Challenges for Health Policy”
In their editorial, Speed and Mannion identify two main challenges “the rise of post-truth populism” poses for health policy: the populist threat to inclusive healthcare policies, and the populist threat to well-designed health policies that draw on professional expertise and research evidence. This short comment suggests some conceptual clarifications that might help in thinking through more p...
متن کاملAn Additive Model for Estimation Return to Scale in Regulated Environment with Quasi-Fixed Inputs in Data Envelopment Analysis (DEA)
The measurement of RTS amounts measures a relationship between inputs and outputs in a production structure. There are many different ways to calculate RTS in primal or dual space. But in more realistic cases, governments usually intervene on DMU’s behavior as regulatory agency, this clearly represent a set of limitations and restrictions on behaviors of DMUs, So very few decisions in DMUs are ...
متن کاملThe Primed In Situ (PRINS) Technique: An Alternative Approach for Preimplantation Chromosomal Diagnosis
متن کامل
Acquiring the essence of truth in educational impacts of place formation
Considering the problems facing contemporary architecture in Iran, a better understanding of the meaning of architecture has become necessary. Architecture, like language, defines and facilitates the relationship between Man and his environment. The word architecture both in Arabic (Amara) and in Latin (Architecture), attempts to define the attributes of the maker before determining the char...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logic Journal of the IGPL
دوره 22 شماره
صفحات -
تاریخ انتشار 2014